On quantum programming via dependent linear type theory:
On quantum programming via dependent linear type theory with Quipper:
On dependent linear type theory and categorical semantics for versions of “Quipper”:
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger, A biset-enriched categorical model for Proto-Quipper with dynamic lifting [arXiv:2204.13039]
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger, Proto-Quipper with dynamic lifting [arXiv:2204.13041]
Last revised on October 1, 2022 at 17:58:32. See the history of this page for a list of all contributions to it.